Définition :
Un ensemble infini \(E\) est dénombrable s'il existe une bijection de \({\Bbb N}^*\) vers \(E\) (i.e. Si les éléments de \(E\) forment une suite \(E=\{u_1,u_2,\ldots\}\))
(Suite réelle, Bijection)
Caractérisation
Lien entre injection et surjection avec \({\Bbb N}\) :